The Buddhist philosophy of causality is primarily a theory (naya) of the human world. Its methodology, however, is objective and critical. It rejects the weight of mere authority or tradition, relies upon experience and reason, and emphasizes the critical examination and verification of all opinions. Although the Buddhist conception of knowledge and truth has a strong empirical and pragmatic bias (cf. Nyāya‐bindu 1.1), its conception of experience does not exclude introspection, rational intuition or mystical intuition (cf. Nyāya‐bindu 1.7–11). Although its (...) conception of reason creates a logical gulf between reason and experience, the gulf is bridged by a transcendental illusion (avidyā). Its employment of reason is highly analytical and it seeks to discover the ultimate elements constituting the structures of objects and experience. The constituent elements as the locus of causation are regarded as more real than their composite structures – dharma, dhātu or kṣana as contrasted with saṅghāta or santāna. At the same time, it raises dialectical questions and seriously considers the possibility of the empirical world being merely a working illusion. It discounts the apparent stability of objects, stressing their transience, finally defined as momentariness (see, for example, Ratnakīrti's Kṣaṇa‐bhaṅgasiddhi). It rejects the category of substance for that of process. Causality is thus regarded not as a dynamic interaction between substances, but as a functional, many‐one relationship of order characterized by invariance and uniformity within any given type of process. (shrink)

Cf. Jardine 1974a, p. 29; chapter 6 is 'an elegant account of developments in late scholastic debating exercises' (Jardine 1974b, 33). Cited Van den Burgh, 126 n. 95 re Grotius's method. cit. Mancosu 1996, 232 n. 39.

Open peer commentary on the target article “How and Why the Brain Lays the Foundations for a Conscious Self” by Martin V. Butz. Excerpt: In this commentary to Martin V. Butz’s target article I am especially concerned with his remarks about language (§33, §§71–79, §91) and modularity (§32, §41, §48, §81, §§94–98). In that context, I would like to bring into discussion my own work on computational models of self-monitoring (cf. Neumann 1998, 2004). In this work I explore the idea (...) of an anticipatory drive as a substantial control device for modelling high-level complex language processes such as selfmonitoring and adaptive language use. My work is grounded in computational linguistics and, as such, uses a mathematical and computational methodology. Nevertheless, it might provide some interesting aspects and perspectives for constructivism in general, and the model proposed in Butz’s article, in particular. (shrink)

Discussions concerning belief revision, theorydevelopment, and ``creativity'' in philosophy andAI, reveal a growing interest in Peirce'sconcept of abduction. Peirce introducedabduction in an attempt to providetheoretical dignity and clarification to thedifficult problem of knowledge generation. Hewrote that ``An Abduction is Originary inrespect to being the only kind of argumentwhich starts a new idea'' (Peirce, CP 2.26).These discussions, however, led to considerabledebates about the precise way in which Peirce'sabduction can be used to explain knowledgegeneration (cf. Magnani, 1999; Hoffmann, 1999).The crucial question is (...) that of understandinghow we can get the new elements capableof enlarging our theories. Under thesecircumstances, it might be helpful to step outof the entanglement and reconsider the basis ofthe problem that originally triggered Peirce'sinterest in abduction. This will lead us toanother Peircean concept, that of ``diagrammaticreasoning,'' which I discuss here in the contextof his ``pragmatism.'' In this way, I hope toreach a better understanding of thecontribution of ``abduction'' to the knowledgegeneration process. (shrink)

For purposes of this paper, a conscious state is a mental state whose subject is directly or at least nonevidentially aware of being in it. (The state does not count as conscious if the subject has only been told about it by a cognitive scientist or psychologist; introspectively would be better, but no one should say that a state is conscious only if its subject actively introspects it.). N.b., this usage is only one among several quite different though of course (...) not competing ones; the phrase has been used in at least two other senses, as by, respectively, Dretske (1993, 1995) and Block (1995).1 My definition is stipulative, but not brutely so; it settles on one thing that is often meant by conscious state cf. a conscious memory, a conscious desire, a conscious intention, a conscious decision. According to higher-order (HO) theories of consciousness in this sense of consciousness, what makes a mental state a conscious one is that it is represented by another of the subject’s mental states, that in virtue of which s/he is aware of it. Some practitioners follow Locke in taking the higher-order state to be quasi-perceptual (Armstrong, 1968, 1980, Lycan 1991, 1996); others say it may be merely a thought about the original state (Rosenthal, 1986, 1990).2 There is an alleged objection to such theories, that originated with Goldman (1993)Error: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMap3 and has since been voiced and discussed by others (Dretske 1995, Stubenberg 1998, Van Gulick 2000, 2005, Gennaro 2005, Kriegel 2009). I say alleged, because. (shrink)

Consecutive waves of paleolithic migrants crossing the Bering land bridge from Siberia to North America between 80,000 and 7,000 b.c. brought with them the shamanic way of harnessing supernatural powers. This way prevailed until the White intrusion 400 years ago, into the living space of the aboriginal peoples of North America. Wherever European political, religious, and economic dominance was established, shamanic institutions became the focus of negative attention. The shamanic practitioner was variously depicted by governmental and ecclesiastic authorities as a (...) charlatan and imposter or a purveyor of evil influence. Some well-known ethnological and medico-psychological experts have until very recently portrayed the shaman as a mentally deranged person whose “primitive” culture permits the acting-out of psychopathology in a prestigious role, a eurocentric and positivistic fallacy rooted in Western misinterpretations of learned behavior manifested during shamanic rituals involving altered states of consciousness. Legal measures to suppress shamanic ceremonials were taken in the United States, especially in the aftermath of the Ghost Dance. This shaman-inspired movement, originating in the Prophet Dance of the Pacific Northwest (Spier 1935), sent waves of hectic sacro-nativistic ceremonial activity through many Amerindian tribes, and finally culminated in the Sioux uprising of 1890 which ended in the tragedy of Wounded Knee (cf. Mooney 1896). (shrink)

Premise: our representational system has had a relatively invariant core throughout human history (cf. Sellars's manifest image). Major theses: (i) When philosophical argument establishes the existence of an entity, that entity is a representing, not a represented. (ii) Most of the documents in the history of philosophy are on a par (as dialogical resources) with current philosophical literature for establishing or controverting such existence claims. (iii) The use of mathematics (initially the mathematized neo-Platonism of classical mechanics) allowed modern physical science (...) to break with the perennial system of representation; in consequence, a portion of the representings of modern physical scientists do not belong to the historically invariant core. This limits the dialogical resources of physical science and the applicability of arguments from perennial philosophy to science. It also explains the relative irrelevance of pre-17th century science to contemporary physical scientists in contrast to the relevance of pre-17th century philosophy to contemporary philosophers. It also supports thesis (iv), that logic (broadly conceived) in central to all serious philosophical enterprises, since logic is the central tool for exhibiting and criticizing the rationale(s) of our representational system(s). Support for these theses will be found in the paper. (shrink)

H. G. Liddell & R. Scott, A Greek-English Lexicon, rev. and aug. by Sir H. S. Jones. with the ass. of R. McKenzie, Oxford, Clarendon Press, 1940. ῥυθμός , Ion. ῥυσμός (v. infr. 111, IV), ὁ : (ῥέω) :— A. any regular recurring motion (“πᾶς ῥ. ὡρισμένῃ μετρεῖται κινήσει” Arist.Pr.882b2) : I. measured motion, time, whether in sound or motion, Democr.15c ; = ἡ τῆς κινήσεως τάξις, Pl.Lg.665a, cf. 672e ; “ὁ ῥ. ἐκ τοῦ ταχέος (...) - Études grecques et (...) latines. (shrink)

A liberalism which scorns all individualism is fundamentally misguided. This is the chief thesis of this paper. To argue for it, I look closely at some key concepts. The concepts of morislity and individualism are crucial. I emphasize Dewey on the "individuality of the mind" and a Deweyan discussion of language, communication, and community. The thesis links individualism and liberalism, and since appeals to liberalism have broader appeal in the present context of discussions, I start with consideration of liberalism. The (...) aim is to dispute overly restrictive conceptions and explore a broader perspective. To bring the argument to a close, attention turns first to Dewey on value inquiry, to Dewey's "democratic individualism" (cf. Dewey 1939, 179), and to the concept of moral community. Disputing the acquisitiveness of utilitarian influences in classical liberalism, a Deweyan argument from the nature of moral community supports re-emphasis on individualism in contemporary liberal thought. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 63.4 (2002) 639-658 [Access article in PDF] "The whole exercise of reason":Charles Mein's Account of Rationality James G. Buickerood L'Auteur de cet Ouvrage nous paroit meriter un rang distingué parmi les Auteurs Metaphysiques. Il seroit seulement à souhaiter qu'il eût traité ses matiéres avec un peu plus de Methode. Ce n'est pas qu'il ne soit très-intelligible, & que son Stile même ne soit (...) assez pur, mais un Auteur devroit se souvenir que ceux qui liront son ouvrage ne suivront pas ses pensées comme il les suit, & qu'on ne se rapellera pas ce qu'il a dit aussi facilement qu'il se le rapelle lui-même.... Il nous paroit que si l'Auteur veut encore s'exercer sur pareilles matieres il ne fera pas mal de repasser sur ce qui'il vient de publier, de donner des definitions plus intelligibles, & d'éclaircir le reste avec plus d'exactitude. — Bibliothèque raisonnée, June 1729 Two Dissertations concerning Sense, and the Imagination. With an Essay on Consciousness appeared anonymously in mid-summer 1728 over the prestigious imprint of Tonson in the Strand. 1 The "Essay on Consciousness" explicates the nature and functions of consciousness. The two dissertations modestly prepare for an inquiry into human understanding, which [End Page 639] is at present very much wanted; and towards which the removal of those Prejudices arising from Sense, and the Imagination, which hinder Men from discovering the Truth, or discerning it, tho' fairly offered to them, is the first Step to be made; and may be of some use to any one who shall hereafter undertake to explain and set forth, in a clear and perspicuous Light, the native and genuine Operations of the Understanding, as they are in Themselves, without mixing or confounding them with any Others. (1-2) A Bibliothèque raisonnée review twice noted the book's diffusion and inconvenient organization. 2 The book is nonetheless interesting for its clear defense of the cognitive superiority of reason over sense and imagination, its attack on contemporary conflations of human and brutal natures, and its treatment of consciousness, dreams, madness, and the self. In its assay of human understanding Two Dissertations implements Peripatetic, Cartesian, and even Lockean principles. The last notwithstanding, the work is an assault on the Lockean reduction of understanding to passive perception and on Locke's conception of knowledge as the perception of ideas and their relations. It is also an attempt to resuscitate reason in the teeth of nominalist accounts of rationality such as those of John Toland and allied freethinkers. 3 In pursuing these goals, it offers variations on traditional concepts of cognition, such as a conception of notions as acts of intellectual apprehension which an interpreting mind brings to bear on sensory appearances. This understanding of notions as acts falls within the British notional way marked by Digby, White, Sergeant, and especially Burthogge, antedating publication of George Berkeley's explicit distinction between passive ideas and notions owing to reflection. 4 Notions play an important role in Two Dissertations, contrasting the mind's active, rational contribution to knowledge with Lockean ideas. Yet the work's treatment of notions contains intimations of a more elaborate conception of rationality that includes a distinct order of reflective notions not deployed in this book (25-26).Clearly identifying the purposes, doctrine, and authorship of Two Dissertations is worthwhile insofar as its detailed analysis of consciousness is intrinsically interesting and quite possibly historically important, despite its neglect in the past century. For its "Essay on Consciousness" purports to be the "first Attempt that hath been made on the Subject" (sig. A3r ; cf. 141-42). While conventional [End Page 640] interpretations of modern philosophy may have habituated us to be skeptical of such a claim made as late as 1728, it is by no means outlandish, subject to textual and conceptual qualification. This paper concerns primarily just one function of the conscious mind addressed in Two Dissertations: the concept of... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hume, Shaftesbury, and the Peirce-James Controversy EDMUND G. HOWELLS I. ACCORDING TO HUME, the "religious hypothesis" is "a particular method of accounting for the visible phenomena of the universe''1 that is "mere conjecture and hypothesis," (Enquiry, 145) and "both uncertain and useless" (Enquiry, 142). But there was one version of this hypothesis that seemed to pose particular difficulties for him in making these claims convincing. This was Shaftesbury 's (...) view of the world as the object of "divine passion." Besides Shaftesbury's massive influence at the time, Hume was wrestling with the peculiar disadvantage of having agreed with him on so many points, particularly in the attempt to solve the problem of personal identity. He attempted to discredit Shaftesbury's "particular method" on several levels: viz., it cannot be rationally justified, deductively or inductively ; it is not really a belief, so afortiori it is not a natural belief; to the extent it is confused with a genuine belief, its effects are very rare and transitory unless it degenerates into superstition or enthusiasm, which are demonstrably pernicious. 2 These attacks were frequently reinforced with arguments ad hominem. Shaftesbury's theism is extremely ambiguous. In the Essay Concerning Virtue or Merit he pronounced, "to believe therefore that everything is governed, ordered, or regulated for the best, by a designing principle or mind, necessarily good or permanent, is to be a perfect theist" (CH I:240). This is merely the least common denominator of what all eighteenth-century natural theologians agreed could be inferred a posteriori from some form of design argument. Shaftesbury used several analogies to support this view, each based upon a comparison of a part of the universe to the whole:(l) an artifact, for example, a watch (CH I: 190), a ship (CH i Enquiry Concerning Human Understanding, ed. L. A. Selby-Bigge,2nd ed. (Oxford: Clarendon Press, 1902),p. 139;hereafter cited as Enquiry. The quotes in my opening statement are technically not from Hume himself but from his "sceptical friend who lovesparadoxes." But the closest Hume comes to a single refutation of all forms of the "religious hypothesis," comparable to Cleanthes' "entirely decisive" refutation of Demea's version of the ontological argument (Dialogues, 189),is stated by Hume in his own person in the final paragraph of this section (Enquiry, XI). Other abbreviations used in this paper are: Treatisefor.4 Treatiseof Human Nature, ed. L. A. SelbyBigge {Oxford: Clarendon Press, 1949);Abstract for An Abstract of a Treatiseof Human Nature, 1740, ed. J. M. Keynesand P. Sraffa (Cambridge: Cambridge University Press, 1938);G&G for David Hume: The Philosophical Works, ed. T. H. Green and T. H. Grose, 4 vols. (London, 1886); Dialogues for Dialogues ConcerningNatural Religion, ed. Norman Kemp Smith, 2nd ed. (Indianapolis: Bobbs-Merrill, 1947); Letters for The Letters of David Hume, ed. J. Y. T. Grieg, 2 vols. (Oxford: Clarendon Press, 1932); CH for Characteristics of Men, Manners, Opinions, Times, ed. J. M. Robertson, 2 vols. (Indianapolis : Bobbs-Merrill, 1964). A roman numeral followed by a colon denotes volume; other roman numerals denote parts or sections; arabic numbers denote pages. 2For a striking exampleof one of their many points of agreement cf. Hume's essay(G&G 111: 144-150) with CH 11: 178-180. [4491 450 HISTORY OF PHILOSOPHY II:66), "a pile of regular architecture" (CH II:66-67), is to the artisan as the universe is to God. (2) A work of art, for example, a symphony (CH II :66), is to the artist as the universe is to God. (3) An organ is to the organism as the organism or species is to the teleologically structured and intelligent whole (CH I:243ff.) 3 (4) Microcosm (man) to Macrocosm (God), that is, man's mind is the governing principle over the other parts of his nature as God's mind is to the universe: though "all else may be only dream and shadow. All which even sense suggests may be deceitful.... Reason subsists." We are "in a manner conscious" that our reason is part of the pervasive world soul which inhabits our own, and "all nature's wonders serve to excite and perfect this idea of their author" (CH II : 112). In keeping with... (shrink)

*These notes were folded into the published paper "Probability and nonclassical logic*. Revising semantics and logic has consequences for the theory of mind. Standard formal treatments of rational belief and desire make classical assumptions. If we are to challenge the presuppositions, we indicate what is kind of theory is going to take their place. Consider probability theory interpreted as an account of ideal partial belief. But if some propositions are neither true nor false, or are half true, or whatever—then it’s (...) far from clear that our degrees of belief in it and its negation should sum to 1, as classical probability theory requires (?, cf.). There are extant proposals in the literature for generalizing (categorical) probability theory to a non-classical setting, and we will use these below. But subjective probabilities themselves stand in functional relations to other mental states, and we need to trace the knock-on consequences of revisionism for this interrelationship (arguably, degrees of belief only count as kinds of belief in virtue of standing in these functional relationships). (shrink)

Así como en lo que respecta al análisis político del presente cabe afirmar que no podrá ofrecérsenos éste nunca bajo una figura acabada o una perfecta interrupción en la idealizada plenitud del tiempo, no es menos cierto que hay escrituras y análisis del presente político que persiguen envolver figuras certeras de instantes limitados y, por ello, perfectos. Si el ámbito de la política «exige el presente como tema y problema» (como afirma el autor en su introducción, cf. p. 13), el (...) desafío de la escritura en torno a los problemas filosóficos a través de los cuales pensar certeramente la actualidad de la política puede afrontarse, entre otros lugares, desde la complejidad de la escritura. Así es, hay ensayos en los que se aprecia la voluntad de escritura de su autor, el gusto por una sobriedad que no desdeñe una actitud prolija y generosa —como la del pintor impresionista que pincela sus propias pinceladas para dotarlas de una forma de espesor que sólo cabe adquirir por medio de lo que, en el campo del pensamiento, se llama reflexión— con las posibilidades de la lengua: frases cortas cuyo rigor semántico no radica únicamente en la expresión directa de una idea sino, por ejemplo, en la elección de un verbo que encierre varios sentidos, o en la intercalación de un paréntesis que obligue a deambular al lector hacia el camino opuesto por el que ya marchaba; o bien, por el contrario, inclinándose hacia lo múltiple, el pliegue barroco y la expresión suya bajo subordinadas en las que se hilvana, junto a la idea, un recorrido posible para ésta: diseñado conforme a su complejidad, polisemia, inestabilidad, intempestividad o, incluso, su crudeza y su ironía. A mi modo de ver, Política mente. De la revolución a la globalización da buena cuenta de esa voluntad de estilo. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:102 HISTORY OF PHILOSOPHY historical circumstances a suprahistorical, eternal significance, and that a historian or interpreter of a philosophy will do it justice only if he grasps this lasting truth and content, in addition to comparing it with the opinions of other earlier or later thinkers. One cannot see how a thinker who considered Plato as valid while treating him and others historically could have arrived at a different (...) conclusion. But it is a position admirably expressed that would deserve greater attention and a wider following among the present practitioners of the history of philosophy. Hoffmann's method and style in this, as in most of his other writings, deserve the highest praise, for he combines simplicity with density. His manner of expression reflects his commitment to truth (a commitment curiously omitted by many contemporary existentialists), and the integrity of his character: Hoffmann was one of the few German scholars who made no concessions to Nazism because he was a faithful representative of that German tradition which was incompatible with Nazism: classical humanism in its scholarly, literary and educational meaning, philosophical idealism, and liberal protestantism. Guided by Plato, Kant and Goethe, Hoffmann was untouched by the Romantic and nationalistic strands of German thought. His work transmits to us the precious heritage of a life completely devoted to philosophy and to scholarship, and of an important period in the history of German thought. He omits many things which we have learned in the last few years, or which we may still learn through future studies. Yet he can teach us many important things that are too easily forgotten in our present discussions: the role of Platonism in the history of philosophy and of the sciences, and the fundamental impact of ancient philosophy upon early Christian, medieval and modern thought. It is a heritage which we should try to enlarge, if we can, but also strive to preserve, and to keep alive. PAUL OSKARKRISTELLER Columbia University Studies in Epicurus and Aristotle. By Philip Merlan. (Wiesbaden: Harrassowitz [Klassisch-Philologische Studien, Heft 22], 1960. Pp. viii + 112. P1. 4. DM 12.--) Ever since the publication in 1936 of Bignone's L'Aristotele perduto e la formazione filosofica di Epicuro there have been attempts to define the exact nature of the debt which Epicurus owes to the Peripatos. In this collection of essays, the author of From Platonism to Neoplatonism turns his keen powers of analysis upon a number of specific problems deriving from Plato's Laws and carrying us via Aristotle's Metaphysics and Ethics to Epicurus's theology and beyond. In the first chapter, "Hedone in Epicurus and Aristotle," the author takes us on a generous stroll through hedonist materials, BOOK REVIEWS 103 including an ode by Schiller, to explore the precise meaning of the term hedone. More especially he is concerned to show how close the Epicurean understanding of the term is to that of Aristotle in at least some of his writings, notably Protrepticus and Nic. Eth. H and Met. A. The results of this investigation may be stated in the author's own words: Whether it occurs in Epicurus or in Aristotle, the term hedone can mean anything between gross sensual "pleasure" and entirely spiritual "joy." And on the whole it seems preferable to speak of the philosophy of Epicurus as a philosophy of joy rather than of pleasure. As far as Aristotle is concerned, it seems more appropriate to say that his Changeless Changer (or Changeless Changers) live a life that is filled with joy rather than pleasure, and that his hedonism is ultimately rooted in that of Eudoxus. Chapter 2, "How Many Kinds of Divinities Did Epicurus Recognize?," argues from the theory of the existence of indiscernible non-identicals (Cicero,4cademica 2.17.55; Philodemus De Pietate col. 80 = fr. 40 Us.) and from the theory of "isonomia," i.e., the balancing of one class of things by an equally large class of a different or opposite character (cf. C. Bailey, Greek Atomists, p. 461 ff.) that the Epicureans recognized two types of worshippables, as is indeed suggested by schol. Diog. Laert. 10.139: (I) the popular traditional divinities who are kar arithmon, i.e., severally unique, and... (shrink)

We prove the consistency result from the title. By forcing we construct a model of g = ℵ l , b = cf(Sym(ω)) = ℵ 2.

Analyses in detail the accounts given respectively by Locke and by Hume of the mental factors such as pleasure, pain, uneasiness, and desire, which they see as causing all human actions. Foot argues that this enterprise was misconceived. Philosophers should no more try to describe a mechanism underlying acting on a reason (as e.g. a prudential or moral reason) than a mechanism underlying believing on a reason. Practical and theoretical reasoning are here on a par, the first issuing in action (...) and the second in belief. (shrink)

Given the ever-present subject of consciousness wherever consciousness is, it is peculiar that consciousness researchers often mention mental states as if they are conscious independently of being the conscious states of someone [1, p. 132]. We refer to visual perceptions that become conscious, when in reality no one has ever studied mere conscious visual perceptions. What are studied are visual perceptions belonging to conscious human or animal subjects; it is the subjects who are conscious of visual stimuli, not the visual (...) perceptions. I do not know all the reasons why conscious subjects are rarely mentioned in consciousness science, but one could be pragmatic. Explaining the mysterious jump from the nonconscious nuts and bolts of neurons to the aurora borealis of consciousness is a hard problem. But it is an easy problem compared to explaining the emergence of a single conscious subject from the human brain’s 86 billion neurons [cf. 5]. Perhaps it is more practically realistic to solve the less hard problem before attempting to solve the harder hard problem. On the other hand, if we ignore a necessary condition for the presence of consciousness, our explanations of it could be plagued by inadequacy. And how can we explain our whole data set regarding consciousness if we neglect the most fundamental aspect of the data? (shrink)

In lieu of an abstract, here is a brief excerpt of the content:DESIRE FOR HAPPINESS AND THE COMMANDMENTS IN THE FIRST CHAPTER OF VER/TATIS SPLENDOR* LIVIO MELINA Pontijicio Istituto Giovanni Paolo II Rome, Italy ' ' THE DESIRE for happiness" and "the commandments " seem to constitute two irreducible alternatives, representing a contrariety that separates the classical conception of morality from the modern. The choice that Catholic post-Tridentine handbook theology made to remove the treatise on happiness from moral theology and (...) to focus on the commandments appears unavoidable, even to contemporary moral theology. The perspective of the desire for happiness, which is thought to bind the ethical imperative to an empirical element that is indeterminate, subjective, and, above all, self-interested, has been eliminated from the ambit of moral thinking as incapable of guaranteeing the absolute and unconditional character of morality. This has been achieved by means of a philosophical critique 1 that appears not to have lost currency and persuasiveness. Moreover, from a theological point of view, the perspective of the desire for happiness seems unwittingly to risk turning God, the end of all, into the means of"my" self-realization.2 Faithfulness to Biblical inspiration, rather than to an Aristotelian schema, seems necessarily to privilege the commandments as the original form of morality.3 ' Translated by Margaret Harper McCarthy. 1 Cf. Immanuel Kant, Grounding for the Metaphysics of Morals, trans. James W. Ellington (Indianapolis: Hackett Publishing, 1981), 7-43. 2 Cf. Hans Urs von Balthasar, "Homo creatus est," in Homo creatus est, vol. 5 of Skizzen zur Theologie (Einsiedeln: Johannes Verlag, 1986), 9-26. 3 Cf. G. Angelini, Il senso orientato al sapere: L'etica come questione teologica, in G. Colombo, ed., L'evidenza e lafede (Milan, 1988), 387-443, esp. 414-19. 341 342 LIVIO MELINA It is therefore surprising to note how the Encyclical Veritatis splendor, in its evocative rereading of the dialogue between Jesus and the young rich man (in Mt. 19:16-21), reintroduces the category of the "desire for happiness," cha~~cterizing it as proper content for moral inquiry. The Encyclical also, however, associates this perspective wjth that of the commandments when it cites the response of Jesus, who, after having invited the rich man to turn his gaze toward the One who alone is good, directs the young man to observe the Decalogue. This is not simply a juxtaposition of different and mutually incompatible perspectives. While it is not obliged to provide a theoretical and systematic justification, the papal document does solicit attempts to grasp the constitutive connections that would provide for an integration of these two categories; this is specifically the task of the moral theologian. Thus, when the Encyclical suggests that the question about happiness-as the question "about the full meaning of life," and as prior to the question "about rules to be followed"-is the "echo of a call from God who is the origin and end of man's life" (n. 7), it situates itself within the perspective of the renewal to which the Second Vatican Council called moral theology, which, in its theoretical exposition, will have the task of illustrating "the lofty vocation which the faithful have received in Christ, the only response fully capable of satisfying the desire of the human heart" (n. 7).4 This article intends to accept the invitation of the Encyclical and the Council by thematizing the relation between the desire for happiness and the commandments. Starting from the indications of the first chapter of Veritatis splendor, moral theology is called to establish this relation at a fundamental level. I shall develop my reflection on this theme in three stages. In the first place, I shall present an examination of the three terms at issue (desire, happiness, and commandments) with the intention of grasping the similarities and dissimilarities between them. In the second place I shall take up the global context within which Veritatis splendor situates the relation between these terms, and which is provided by the link between freedom and truth. 4 Cf. The Decree on Priestly Formation, Optatam totius, n. 16. DESIRE FOR HAPPINESS AND THE COMMANDMENTS 343 Finally, the specific theme of the first chapter of the Encyclical will be put into relief by displaying the novel points of departure of... (shrink)

Las fuentes principales para la reconstrucción de la teoría del conocimiento de Hegel en su Sistema maduro son la filosofía del espíritu subjetivo y la Lógica subjetiva o Lógica del Concepto. En este respecto, la filosofía del Espíritu Absoluto ocupa en principio, dentro de la estrategia general adoptada por Hegel para exponer su pensamiento gnoseológico, un lugar periférico; sin embargo, toda vez que las formas del Espíritu Absoluto, esto es, el Arte, la Religión y la Filosofía, son para Hegel resultados (...) de la progresiva explicitación del tipo de contenidos que implica la lógica interna de los sucesivos actos cognitivos del sujeto, en el marco de la exposición de la filosofía del Espíritu Absoluto Hegel desarrolla y precisa ulteriormente su teoría general sobre los actos de conocimiento. En este contexto, el tratamiento del concepto de la religión en las lecciones berlinesas sobre filosofía de la religión ofrece una oportunidad privilegiada -por regla general inadvertida- para profundizar en el análisis de las reflexiones de Hegel sobre el fenómeno del conocimiento humano. En sus cuatro cursos berlineses -1821, 1824, 1827 y 1831- sobre filosofía de la religión, Hegel divide a esta disciplina en tres partes, a saber: el Concepto de la Religión, la Religión Determinada y la Religión Consumada; en la primera de esas partes, esto es, en la que dedica al concepto de la religión, Hegel desarrolla las diferentes formas subjetivas de la conciencia religiosa sin considerar su contenido (de su contenido versarán las dos partes siguientes), es decir, analiza los actos cognitivos del sujeto de un modo puramente formal, tal como lo había hecho antes en el marco de la filosofía del espíritu subjetivo. En esta medida, la exposición del concepto de la religión ofrece una verdadera filosofía del espíritu subjetivo en compendio en la que se retoman, pero también se complementan las tesis expuestas en la filosofía del espíritu subjetivo -más precisamente, en la Psicología- en sentido estricto. El objetivo de nuestro trabajo es analizar la teoría de los actos de conocimiento presente en las Lecciones sobre Filosofía de la Religión; en razón de los requisitos de extensión que debe cumplir este trabajo, nos limitaremos a analizar los desarrollos que Hegel ofrece en el manuscrito que usa como texto base para el dictado de su primera Lección sobre Filosofía de la Religión en el semestre de verano de 1821 (cf. G.W.F. Hegel, Vorlesungen. Ausgewählte Nachschriften und Manuskripte. Bd. 3. Vorlesungen über die Philosophie der Religion. 1. Einleitung und Begriff der Religion, Hamburg, Felix Meiner, 1983, pp. 95-163). (shrink)

Assume G.C.H. We prove that for singular λ, □ λ implies the diamonds hold for many $S \subseteq \lambda^+$ (including $S \subseteq \{\delta:\delta \in \lambda^+, \mathrm{cf}\delta = \mathrm{cf}\delta = \mathrm{cf}\lambda\}$ . We also have complementary consistency results.

• Session on CF&FCT proposed by E. Landry; participants: G. Hellman, E. Landry, J.-P. Marquis and C. McLarty..

It is widely agreed that sentences containing a non-denoting description embedded in the scope of a propositional attitude verb have true de dicto interpretations, and Russell's (1905) analysis of definite descriptions is often praised for its simple analysis of such cases, cf. e.g. Neale (1990). However, several people, incl. Elbourne (2005, 2009), Heim (1991), and Kripke (2005), have contested this by arguing that Russell's analysis yields incorrect predictions in non-doxastic attitude contexts. Heim and Elbourne have subsequently argued that once certain (...) facts about presupposition projection are fully appreciated, the Frege/Strawson analysis of definite descriptions has an explanatory advantage. In this paper, I argue that both Russell's analysis and the Frege/Strawson analysis face a serious problem when it comes to the interaction of attitude verbs and definite descriptions. I argue that the problem observed by Elbourne, Heim, and Kripke is much more general than standardly assumed and that a solution requires a revision of the semantics of definite and indefinite descriptions. I outline the conditions that are required to solve the problem and present an analysis couched in dynamic semantics which can provide a solution. I conclude by discussing some further issues related to propositional attitude verbs that complicate a fully general solution to the problem. (shrink)

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

Intentional action is, in some sense, non-accidental, and one common way action theorists have attempted to explain this is with reference to control. The idea, in short, is that intentional action implicates control, and control precludes accidentality. But in virtue of what, exactly, would exercising control over an action suffice to make it non-accidental in whatever sense is required for the action to be intentional? One interesting and prima facie plausible idea that we wish to explore in this paper is (...) that control is non-accidental in virtue of requiring knowledge—either knowledge-that or knowledge-how (e.g., Beddor and Pavese 2021; cf., Setiya 2008; 2012 and Habgood-Coote 2018). We review in detail some key recent work defending such knowledge-centric theories of control, and we show that none of these accounts holds water. We conclude with some discussion about how control opposes the sort of luck intentional action excludes without doing so by requiring knowledge (that- or how). (shrink)

Generalizing Woodin’s extender algebra, cf. e.g. Steel Handbook of set theory, Springer, Berlin, 2010), we isolate the long extender algebra as a general version of Bukowský’s forcing, cf. Bukovský, in the presence of a supercompact cardinal.

Some presuppositions seem to be weaker than others in the sense that they can be more easily neutralized in some contexts. For example some factive verbs, most notably epistemic factives like know, be aware, and discover, are known to shed their factivity fairly easily in contexts such as are found in (1). (1) a. …if anyone discovers that the method is also wombat-proof, I’d really like to know! b. Mrs. London is not aware that there have ever been signs erected (...) to stop use of the route… c. Perhaps God knows that we will never reach the stars…. (The examples in (1) are all naturally occurring ones, discovered by David Beaver with the aid of Google; cf. Beaver 2002, exx. 32, 43, and 51, respectively.) On the other hand some other factives, e.g. regret, matter, and be surprised, do not exhibit the same type of behavior: (2) a. If any of the students regrets behaving badly, they’ll let us know. b. It doesn’t matter that the chimpanzees escaped. c. Was Bill surprised that spinach was included? Unlike the examples in (1), those in (2) could not be used appropriately in contexts where the speaker was not assuming that the complement clause was true. Our main concern will be trying to find the cause of this difference. However, before we get to that, we will look more closely at the concept “presupposition” itself, as well as its close neighbor in the linguistic literature, “conventional implicature” (section 2), and also at various ways of getting rid of presuppositions (section 3). In section 4 we will investigate two possible explanations for differences in presupposition triggering – the “lexical alternative” approach of Abusch (2002, 2005), and a suggestion of Ladusaw’s involving detachability of presuppositions. The final section contains concluding remarks. (shrink)

Nowadays it is well known among historians of science that Francis Bacon, one of the modern defender of the experimental method, owed much of his thoughts to the chemical or alchemical tradition (cf. e.g., Gregory 1938, West 1961, Linden 1974, and Rees 1977). In fact, alchemy, particularly in the Arabic tradition, was always based on laboratory investigations by carefully examining the results of controlled manipulation of materials.1 It is also well known that Francis Bacon’s appeal to the experimental method was (...) severe criticism of scholasticism in philosophy of nature and, in particular, of authority as the basis of knowledge.2 If we compare philosophy of nature in the early 17th century with phi-. (shrink)

The aim of this article is to introduce the concept of Cognitive Fitness (CF), identify its key ingredients underpinning both real-time task performance and career longevity in high-risk occupations, and to canvas a holistic framework for their assessment, training, and augmentation. CF as a capacity to deploy neurocognitive resources, knowledge and skills to meet the demands of operational task performance, is likely to be multi-faceted and differentially malleable. A taxonomy of CF constructs derived from Cognitive Readiness (CR) and Mental fitness (...) (MF) literature maps into phases of operational cycles from foundational to advanced, mission-ready and recovery. Foundational cognitive attributes, such as attention, executive control and co-action, were hypothesized to be trainable at the initial Cognitive Gym phase. More advanced training targets at the CR phase included stress and arousal regulation, adaptability, teamwork, situation awareness (including detection, sense-making and prediction) and decision making (de-biasing and confidence calibration). The mission-ready training phase is focused on tolerances (to sleep loss, monotony, pain, frustration, uncertainty) and resistance (to distraction, deception or manipulation). Operational Augmentation phase relies on support tools such as decision aids and fatigue countermeasures, while the Recovery phase employs reflexive (e.g., mindfulness), and restorative practices (e.g., nutrition and sleep hygiene). The periodization of cognitive training in this cycle is hypothesized to optimize both real-time cognitive performance and the resilience that enables life-long thriving. One of the most promising avenues of validating this hypothesis is by developing an expert consensus on the key CF ingredients and their relative importance in high-performance settings. (shrink)

Prompted by the "Panel Discussion of Grünbaum's Philosophy of Science" (Philosophy of Science 36, December, 1969) and other recent literature, this essay ranges over major issues in the philosophy of space, time and space-time as well as over problems in the logic of ascertaining the falsity of a scientific hypothesis. The author's philosophy of geometry has recently been challenged along three main distinct lines as follows: (i) The Panel article by G. J. Massey calls for a more precise and more (...) coherent account of the Riemannian conception of an intrinsic as opposed to an extrinsic metric, which the author has invoked as his basis for the distinction between non-conventional and convention-laden ascriptions of metrical equality and inequality; (ii) the latter distinction has been claimed to suffer from the liabilities of the so-called "standard conception" of scientific theories [36]; and (iii) pursuant to H. Putnam's "An Examination of Grünbaum's Philosophy of Geometry" [56], J. Earman [16, 17] and R. Swinburne [65] have contended that the difference between intrinsic and extrinsic metrics is scientifically unilluminating, and that the associated distinction between non-conventional and convention-laden metrical comparisons does not have the kind of relevance to extant scientific theories that the author has claimed for it. The essay consists of two installments. The present installment, comprising the Introduction and Part A, is devoted to the clarification, correction and further development of the author's prior writings on the philosophy of geometry. Its main objective is constructive elaboration rather than offering polemics. But rebuttals to Earman, [16, 17], Swinburne [65] and Demopoulos [13] are included, because their inclusion conduced to clarity in giving the new exposition. Part B is to appear in a subsequent issue and will be devoted to replies to critiques contained in the Panel Discussion and in other recent literature. It will range over issues in the philosophy of geometry and in the logic of ascertaining the falsity of a scientific hypothesis. By way of merely elliptical anticipation of much more precise statements given in Part A, section 3(ii), the Introduction dissociates the notion of convention-ladenness developed in Part A from the quite different notion integral to the so-called "standard conception" of scientific theories. Thereby, the Introduction prepares the ground for seeing, as a corollary to Part A, section 3(ii), that the notion advocated in the present essay has nothing to fear from the following fact, noted by C. G. Hempel ([36]; cf. also his 1970 Carus Lectures): "even though a sentence may originally be introduced as true by stipulation, it soon joins the club of all other member-statements of the theory and becomes subject to revision in response to further empirical findings and theoretical developments." Part A, which begins with a fairly detailed table of contents, endeavors to meet the aforementioned three-fold challenge to the author's philosophy of geometry. Massey's call for the provision of clear and detailed characterizations of intrinsic and extrinsic metrics is answered with the invaluable aid rendered personally by Massey himself. These characterizations are shown to permit a precise explication of the portions of Riemann's Inaugural Dissertation relevant to (1) Riemann's brilliant anticipation of Einstein's dynamical conception of physical geometry, and (2) the author's philosophical characterization of the metrics and geometries of space, time, and space-time {section 2(c)}. A byproduct of the analysis is to raise two major philosophical doubts concerning Clifford's sketch of a so-called "space-theory of matter" as elaborated in J. A. Wheeler's relativistic geometrodynamics. That theory's vision of understanding matter as a manifestation of empty curved space is questioned in regard to (1) the existence of an intra-geometrodynamic basis for individuating the metrically homogeneous world points of its space-time manifold {section 1(a)}, and (2) the compatibility of the theory with the Riemannian metrical philosophy apparently espoused by its proponents {section 2(c)(i)}. (shrink)

In "Handbook of Philosophical Logic" M. Dunn formulated a problem of describing pretabular extensions of relevant logics (cf. M. Dunn [1984], p. 211: M. Dunn, G. Restall [2002], p. 79). The main result of this paper described in the title.

The discussion “scientism vs. dialectic” centers around the problem of value-judgements since Max Weber.Scientism holds the thesis that in all scholarly disciplines (whether politics, economics, law or the sciences) the value-free methods of the sciences should be followed. The dialectical scholars, following Kant, Hegel and Marx claim on the other hand the primacy of practical reason, i.e. that reason can (and should) justify norms. After an historical introduction into the controversy, this lecture sketches how the dialectical thesis can be proven. (...) The new approach consists in a critical reconstruction ofall the words relevant for the discussion, beginning with such ethical modalities as “obligatory,” “permissible.” With these words we judge about aims: the judgements are norms of the form, e.g., “Under the condition C, the aim A is obligatory” (in Symbols: C Δ A).The task in practical reason is to justify such norms. Practical philosophy has to provide the basic vocabulary and the principles of justification. It starts with basic terms of the philosophy of mind as “wanting” and “willing.” The teaching method has to be described without using these words. (For all details cf.Normative Logic and Ethics, B.J. Mannheim, 1969.) In the same sense as “true” opinions are the result of reasonable discussions in which all participants try to overcome (“transcend”) their merely subjective opinions, it is the result of “transsubjective” argumentation whether in a certain situation an aim is (morally) required or forbidden. This categorical imperative of transcending all mere subjectivity is a “formal” principle for justifying norms. Material norms are justifiable only by investigating the genesis of the cultural situation in which they are applied. This leads, in a critical reconstruction of a method of Hegel (especially in his “philosophy or right”), to the formulation of a “dialectical” method as a spiral movement from factual geneses to normative geneses.By this method philosophy does not prescribe any “values” but prescribes how the cultural sciences should proceed in establishing material norms. (shrink)

Where are we to look for the unique hues? Out in the world? In the eye? In more central processing? 1. There are difficulties looking for the structure of the unique hues in simple combinations of cone-response functions like ( L − M ) and ( S − ( L + M )): such functions may fit pretty well the early physiological processing, but they don’t correspond to the structure of unique hues. It may seem more promising to look to, (...) e.g., Hurvich & Jameson’s ‘chromatic response functions’; but these report on psychophysical behaviour, not on underlying physiology. So ‘opponent processing’ isn’t any particular help on the unique hues—and even physiology in general seems not to have come up with any good correlate or explanation. 2. Wright ( Review of Philosophy and Psychology 2: 1–17, 2011 ) looks in a different place: to (a) magnitude of total visual response that a stimulus light provokes, the maxima and minima of which, he thinks, give us the boundaries of the main hue categories (Wright connects these with Thornton’s ‘prime’ and ‘antiprime’ colours in an illuminant: Journal of the Optical Society of America 61 ( 1971 ): 1155–1163); and (b) the ratio of chromatic to achromatic response, the maxima and minima of which, he suggests, give us the focal points of the unique hues. The suggestions are extremely interesting; but the desired correspondences have some counterexamples; and where they hold, one could wonder how much they depend upon the particular choice of functions to measure (a) and (b); and one could hope for more of an explanatory linkage between the sets of items in question. 3. Could the unique hues come from, so to speak, the external world? White and black can easily be defined as particular kinds of reflectance. What of the standard four unique hues? Variation in kinds of sunlight and skylight coincides well with variation along a line from unique yellow to unique blue (cf. Shepard 1992 , Mollon 2006 ). If we wanted something to calibrate our standards for unique yellow and blue as the lens of the eye changes with age, and despite interpersonal cone differences, this would be a good basis—and there are several ways this can be extended to surface colours. But is there any essential connection between these things: is there any rationale why the light of the sun and the sky should be counted as unique hued ? An answer may be: because in our environment, these illuminants are as close to white (or the natural illuminant colour) as you can get—to see things tinged with sunlight or skylight should be to see them minimally tinged with any alien colour. Whereas other hues in an illuminant would be treated as tinging with a more alien colour the thing seen. (shrink)

While proper names in argument positions have received a lot of attention, this cannot be said about proper names in the naming construction, as in “Call me Al”. I argue that in a number of more or less familiar languages the syntax of naming constructions is such that proper names there have to be analyzed as predicates, whose content mentions the name itself (cf. “quotation theories”). If proper names can enter syntax as predicates, then in argument positions they should have (...) a complex structure, consisting of a determiner and its restriction, like common nouns (cf. “definite description theories of proper names”). Further consideration of the compositional semantics of proper names in the naming construction also shows that they have another argument slot, that of the naming convention. As a result, we will be able to account for the indexicality of proper names in argument positions and provide compositional semantics of complex and modified proper names (e.g., the famous detective Sherlock Holmes ). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:EXISTENTIAL PROPOSITIONS IN THE THOUGHT OF ST. THOMAS AQUINAS A REVALENT VIEW of St. Thomas Aquinas's position on the logic of propositions has been that according to him propositions of the :form, x is, hold a privileged place, that they are in a special sense " existential," and that such propositions straight.forwardly attribute the act of exi,stence to an individual or to a class of individuals.1 Some texts seem (...) to support such an interpretation. For example, in his commentary on Aristotle's Perihermeneias, Aquinas says: " To clarify this we must note that the verb 'is ' itself is sometimes predicated in an enunciation, as in ' Socrates is.' By this we intend to signify that Socrates really is." 2 This passage seems to treat the predicate " exists " or " is " as unproblematical, as though it had a straightforward meaning needing little clarification, at least in the context of a logical treatise. On the basis of such a text, one may be tempted to infer that for Aquinas " Socrates exists " has the same logical form as " Socrates sits," and that " Men exist " is of the same form as " Men are mortal.'' Peter Geach has shown, however, that Aquinas's doctrine here is not as simple as it may first appear. For Aquin,as some of the propositions which have the grammatical form of x is have 'a different logical form.3 Geach points out that for Aquinas the sentence, "Blindness exists," for example, actual1 E.g., Etienne Gilson, Being and Some Philosophers, 2nd ed. (Toronto: Pontifical Institute of Mediaeval Studies, 1952), 190-215. 2 Super Peri, Bk. II, lect. 2, # 212. Cf. Summa Contra Gentiles, Bk. II, ch. 37 at "FJ11J hoc..•." a Peter Geach, in P. T. Geach and G. E. M. Anscombe, Three Philosophers (New York: Cornell University, 1961), 88 ff; Peter Geach, "Form and Existence," in Aquinas: A Collection of Critical Essays, ed. A. Kenny (New York: Notre Dame U., 1969), pp. 41-47. 605 606 PATRICK LEE ly means, Something or other is blind. That is, blind is the real predicate rather than exists. Mo11eover, Geach argues, the logical peculiarity of this sentence is equally found in any sentence of the form, "an F exists." Such a proposition, " does not,attribute actuality (existence) to an F, but F-ness to something or other..." 4 And yet Geach will not apply rthis interpretation to all sentences of the form, " x is." He al'lgues that sentences in which " is " or " exists " is. joined to a logically pl'oper name are in a different category. Unlike in general propositions such as "an F exists," in such singular propositions, those using logically proper names, Geach,argues, actual existence is attributed to or predicated of an individual. "We have here a sense of 'is ' or 'exists ' that seems to me to be certainly a genuine predicate of individuals: the sense of ' exists ' in which one says that an individual came to exist, still exists, no longer exists, etc...."5 I believe that, while Geach's position is more accurate than the first interpretation, mentioned above, it is nevertheless still inaccurate on certain key points. While it is misleading to say that for Aquinas exists is never a genuine predicate; nevertheless, I will argue that it is his position that exists or existence is not a genuine predicate in any proposition which does not refer back to a previous proposition (or to what is known in or by previous propositional knowledge). Let us crull a proposition which refers to something known in a previous proposition a " second-order p11oposition," and one that does not thus refer a " first-order proposition." Then, I shall argue that for Aquinas exists is not a genuine predicate in any first-order proposition. Moreover, I believe that these points are crucial to understanding Aquinas's position on existence as well as his position on how knowledge is related,to reality, i.e., his realism. In this article I would like to examine Aquinas's thought on the logic of existential propositions and discuss its significance for epistemology. 4 Geach, " Form and Existence," Zoo. int., p. 45. 5 Ibid., p. 46. EXISTENTIAL PROPOSITIONS IN AQUINAS 607 In sections... (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

In the paper, we examine tableau systems for R. Epstein’s logics of content relationship: D (Dependence Logic), DD (Dual Dependence Logic), Eq (Logic of Equality of Content), S (Symmetric Relatedness Logic) and R (Nonsymmetric Relatedness Logic) (cf. Epstein in Philos Stud 36:137–173, 1979, Epstein in Rep. Math. Logic 21:19–34, 1987, Klonowski in Logic Log Philos 30(4):579–629, 2021, Krajewski in J Non Class Logic 8:7–33, 1991). The first tableau systems for those logics were defined by Carnielli. However, his approach has some (...) limitations, for example, it requires a proof of functional completeness and axiomatization. Notwithstanding the first two constraints, it does not include all Epstein logics, e.g., logic Eq. Unlike Carnielli’s approach, here we use set-assignment semantics to determine those logics. Since syntax and semantics of a given logic usually determine a minimal syntax and structure of a tableau system for the logic along with other properties, we propose a uniform tableau framework for the logics determined by set-assignment semantics. What distinguishes our tableau systems is that they combine the features of tableaux for propositional logics and syllogistic logics when the problem of content of propositions is analysed in tableau proofs. To denote the content of propositions in the proofs, we use generalised labels (see Jarmużek and Goré in Landscapes in Logic, College Publications, London, 2021). (shrink)

Once we perceive a situation as a danger, threat, or shock, the information about a fearful stimulus is immediately sent to the amygdala, which, being a component of the limbic system, is responsible for fear and anxiety processing, and plays an important role in emotion and behaviour. As the research suggests, the message about a potentially frightening situation can reach the amygdala long before we are even consciously aware of it. Then, the amygdala is to trigger a fight-or-flight reaction, marked (...) by our increased heart rate and respiration to prepare for action (cf. LeDoux 2007). The aim of the research is, first, to account for the most prototypical cognitive scenario of fear through the prism of Cognitive Linguistics (cf. Kövecses 1986, 2015) and supply it with this neuroscientific and psychological knowledge of fear. We learn that in addition to the most common human reactions to fear, i.e. the one of a fighter or the one of a runaway, a modern man reacts to fear by denying it as well as by displacing fear from their subconscious mind. Second, by investigating the novel metaphor FEAR IS AN ILLNESS OF THE BRAIN, we aim to propose a novel constructive cognitive scenario of fear, which helps us deal with this unwanted emotion in contemporary situations that generate fear, e.g. in the era of (post)Covid-19 pandemic (WHO 2021, July 15). (shrink)

We consider mainly the following version of set theory: “ZF+DC and for every λ,λℵ0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda, \lambda^{\aleph_0}}$$\end{document} is well ordered”, our thesis is that this is a reasonable set theory, e.g. on the one hand it is much weaker than full choice, and on the other hand much can be said or at least this is what the present work tries to indicate. In particular, we prove that for a sequence δ¯=⟨δs:s∈Y⟩,cf\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} (...) \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{\delta} = \langle\delta_{s}: s \in Y\rangle, {\rm cf}}$$\end{document} large enough compared to Y, we can prove the pcf theorem with minor changes.We then deduce the existence of covering numbers and define and prove existence of a class of true successor cardinals. Using this we give some diagonalization arguments on Abelian groups, chosen as a characteristic case.We end by showing that some such consequences hold even in ZF above. (shrink)

The question of where, between theory and experiment, computer simulations (CSs) locate on the methodological map is one of the central questions in the epistemology of simulation (cf. Saam Journal for General Philosophy of Science, 48, 293–309, 2017). The two extremes on the map have them either be a kind of experiment in their own right (e.g. Barberousse et al. Synthese, 169, 557–574, 2009; Morgan 2002, 2003, Journal of Economic Methodology, 12(2), 317–329, 2005; Morrison Philosophical Studies, 143, 33–57, 2009; Morrison (...) 2015; Massimi and Bhimji Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 51, 71–81, 2015; Parker Synthese, 169, 483–496, 2009) or just an argument executed with the aid of a computer (e.g. Beisbart European Journal for Philosophy of Science, 2, 395–434, 2012; Beisbart and Norton International Studies in the Philosophy of Science, 26, 403–422, 2012). There exist multiple versions of the first kind of position, whereas the latter is rather unified. I will argue that, while many claims about the ‘experimental’ status of CSs seem unjustified, there is a variant of the first position that seems preferable. In particular I will argue that while CSs respect the logic of (deductively valid) arguments, they neither agree with their pragmatics nor their epistemology. I will then lay out in what sense CSs can fruitfully be seen as experiments, and what features set them apart from traditional experiments nonetheless. I conclude that they should be seen as surrogate experiments, i.e. experiments executed consciously on the wrong kind of system, but with an exploitable connection to the system of interest. Finally, I contrast my view with that of Beisbart (European Journal for Philosophy of Science, 8, 171–204, 2018), according to which CSs are surrogates for experiments, arguing that this introduces an arbitrary split between CSs and other kinds of simulations. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:166, FLAGE ON HUME'S ACCOUNT OF MEMORY In the Treatise Hume writes that an impression which "has been present with the mind" may "make its appearance there as an idea," and that it can appear either through the faculty of memory or the faculty of the imagination. Memory and imagination each produces its own species of idea. In "Hume on Memory and 2 Causation" Daniel Flage addresses Hume's carving (...) out of these two species. Flage's main purpose is to show that Hume has a criterion for distinguishing memory ideas from others. I will argue that Flage has not located necessary and sufficient conditions for memory in Hume's discussion of memory. I will show that if Hume intended to provide a criterion at all, it is not the criterion Flage attributes to him, and that the criterion Flage has formulated is not an improvement over what appears to be Hume's criterion. Before looking at the details of Flage's interpretation I want to mention briefly an underlying assumption of the paper. The assumption is that Hume believes that there must be a clear distinction between memories and other perceptions. The assumption is supported by the fact that Hume speaks of the species of memory. However, there is textual evidence against this assumption. In the Treatise Hume emphasizes the ways in which memories are like other perceptions. For example, Hume calls memories impressions, while in distinguishing impressions from ideas he introduces 3 memories as paradigm examples of ideas. The reason Hume calls memories impressions, I believe, is that for the purpose of inference, he takes memories to be equivalent to impressions of sense. Since Hume is willing to put memories in two seemingly incompatible categories, perhaps his primary concern is with the role they play in belief; we make causal inferences 167. from memory and sense, not from the imagination. That Hume's primary concern is with inference, and not with memory per se, is supported by the fact that both Treatise sections devoted to memory are followed by 4 sections which deal with causal inference. Hume thinks that we cannot always distinguish memories from other perceptions "in their operation." It is not clear that he thinks that there must be a sharp distinction at all, since the traditional epistemological purpose for such a distinction, to partition the veridical from the non-veridical, is not obviously Hume's purpose. However, Flage claims that there is a clear criterion of memory in the Treatise. Let's take a look at what he has found. Flage maintains that Hume has both a phenomenal criterion based on vivacity which allows us in a rough and ready way to distinguish memories from imaginings "in their operation," and a formal criterion which "provides one with insight into the complex structure of an idea of memory." (p. 169) The phenomenal criterion does not distinguish memory ideas from others, since, as Hume himself allows, non-memories (e.g. beliefs, delusions, even ideas of the imagination) can have the same vivacity as memories. (Cf. T86) The marking off of memory as a distinct species is accomplished, on Flage's view, by the formal criterion. Hume writes "The chief exercise of the memory is not to preserve the simple ideas, but their order and position." (T9) This is what Flage calls Hume's formal criterion, and Flage takes it as both necessary and sufficient for being a memory idea. Flage takes memory ideas to be what he calls relative ideas, ideas which pick out or refer to a unique item. A memory idea, on this view, is a complex idea which uniquely picks out the antecedent complex 168, impression which resembles and is the cause of the idea. Flage writes: The formal criterion is basically a causal thesis: if a particular positive idea (mental image) is a genuine idea of the memory, then at some point in the past there was a complex impression that was the cause (or the original cause) of and exactly (or closely) resembles that positive idea as an idea. (p. 172) In this formulation the criterion is a necessary condition of memory. In a subsequent formulation Flage claims its sufficiency as... (shrink)

REF is the statement that every stationary subset of a cardinal reflects, unless it fails to do so for a trivial reason. The main theorem, presented in Sect. 0, is that under suitable assumptions it is consistent that REF and there is a κ which is κ+n -supercompact. The main concepts defined in Sect. 1 are PT, which is a certain statement about the existence of transversals, and the “bad” stationary set. It is shown that supercompactness (and even the failure (...) of PT) implies the existence of non-reflecting stationary sets. E.g., if REF then for manyλ ⌝ PT(λ, ℵ1). In Sect. 2 it is shown that Easton-support iteration of suitable Levy collapses yield a universe with REF if for every singular λ which is a limit of supercompacts the bad stationary set concentrates on the “right” cofinalities. In Sect. 3 the use of oracle c.c. (and oracle proper—see [Sh-b, Chap. IV] and [Sh 100, Sect. 4]) is adapted to replacing the diamond by the Laver diamond. Using this, a universe as needed in Sect. 2 is forced, where one starts, and ends, with a universe with a proper class of supercompacts. In Sect. 4 bad sets are handled in ZFC. For a regular λ {δ<+ : cfδ<λ} is good. It is proved in ZFC that ifλ=cfλ>ℵ1 then {α<+ : cfα<λ} is the union of λ sets on which there are squares. (shrink)

It can be argued (cf. Dizadji‑Bahmani et al. 2010) that an increase in coherence is one goal that drives reductionist enterprises. Consequently, the question if or how well this goal is achieved can serve as an epistemic criterion for evaluating both a concrete case of a purported reduction and our model of reduction : what conditions on the model allow for an increase in coherence ? In order to answer this question, I provide an analysis of the relation between the (...) reduction and the coherence of two theories. The underlying model of reduction is a (generalised) Nagelian model (cf. Nagel 1970, Schaffner 1974, Dizadji‑Bahmani et al. 2010). For coherence, different measures have been put forward (e.g. Shogenji 1999, Olsson 2002, Fitelson 2003, Bovens & Hartmann 2003). However, since there are counterexamples to each proposed coherence measure, we should be careful that the analysis be sufficiently stable (in a sense to be specified). It will turn out that this can be done. (shrink)

Adaptationist accounts of morality attempt to explain the evolution of morality in terms of the selective advantage that judging in moral terms secured for our ancestors (e.g. Ruse 1998; Joyce 2006; Street 2006). So-called by-product explanations of morality have been presented as an alternative to adaptationist accounts (e.g. Prinz 2009; Ayala 2010; cf. Darwin 2004/1871). In assessing the relationship between adaptationist and by-product accounts, care must be taken to distinguish several related but importantly different notions: innateness, adaptation, exaptation, spandrel, and (...) by-product. (shrink)

This would have been a better book if Sampson had argued his main point, the usefulness of the Simonian principle as an explanation of the evolution, structure, and acquisition of language, on its own merits, instead of making it subsidiary to his attack on ‘limited-minders’ (e.g., Noam Chomsky). The energy he has spent on the attack he might then have been willing and able to employ in developing his argument at reasonable length and detail. He might then have found that (...) argument faulty, or even wrong. Underdeveloped as it is, however, his point about the Simonian principle does seem to have thepossibility of some significance in understanding the empirical issues of this book (and the dichotomy of ‘limited’ and ‘creative’ minds is certainly not one of these).What Sampson has done inMaking Sense has the appearance of science, and theoretical linguistics, and therefore it is somewhat puzzling to find the conclusions that the human mind cannot be scientifically studied (p. 10), and that theoretical linguistics is a “mirage” (p. 210). His statement that It may still seem worthwhile to some to work out the exact implications for present-day linguistic structure of the fact that languages are evolved systems, but I cannot see that there is much glamour or, indeed, much substance in this task (p. 210) would surely be surprising to a geneticist or ethologist. We hope his apparent misunderstanding on this point will not lead him to give up his profession, in which he seems willing and able to make a significant contribution.What in particular is required is a clear indication of how the Simonian principle imposes itself in the ontogenesis of language. Consider Chomsky's example of the rule for forming questions in English. For sentence (1) below, children able to deal with such examples would give (2) but not (3) as the corresponding question (Chomsky, 1975, p. 31).The man who is tall is in the room.Is the man who is tall in the room?*Is the man who tall is in the room?Now compare Sampson's evolutionary explanation for the structure-dependence of rules which is illustrated in (1)-(3): “once a behavior-pattern has become thoroughly established, it will tend to be treated as a fixed given when used as a constituent of a more complex, later-learned behavior-pattern” (p. 183). In order for this to account for Chomsky's example it would have to be the case that children learn relative clauses before they learn questions, which simply isn't true.In conclusion, we wish not to seem unaware of the problems with the position Sampson is attacking, or unaware of the sometimes dogmatic way it too has been presented. Chomsky's hypothesis of innate linguistic ideas seems, fundamentally, to derive from the claimed rapidity and uniformity of language acquisition in the face of limited and degenerate data. Chomsky appears to have been unwilling to argue these points directly or to show their relation to others, for which he has argued, for example, the implausibility of some abstract constraint's having been learned (cf. 1971, pp. 22–44; 1975, pp. 30–33; 1980, pp. 35–52). And almost from his first invoking of rationalism in support of his linguistic method, Chomsky has himself resorted to an unnecessarily polemical attack on empiricism (cf. 1965, p. 58, n. 33). The innateness issue is just not clear or simple enough to justify so much animus, or even conviction. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Did Hobbes Have a Semantic Theory of Truth? WILLEM R. DEJONG 1. INTRODUCTION THE qUESTIONRAISEDin the title of this article may strike the reader as a bit anachronistic. A phrase like 'semantic theory of truth' evokes associations with rather recent developments in logic, especially the work of Alfred Tarski. Nevertheless, it is generally agreed that Hobbes made important observations of a semantical nature. Moreover, in an interesting article still (...) frequently referred to, R. M. Martin has argued that Hobbes "has in mind a clear-cut semantical concept of truth."' Examining Hobbes's semantical ideas somewhat more closely than Martin did, T6rnebohm has given a more precise characterization of Hobbes's view on truth and falsity; he speaks of Hobbes's comprehension theory of truth. ~One of the main purposes of this article is to investigate whether such a theory is correctly attributed to Hobbes. For Tarski 'true' and 'false' are predicates of (declarative) sentences) But this is not enough to speak of a semantic theory of truth: The leading idea behind Tarski's fundamental work in the field of semantics is (a restricted version of) the principle of compositionality. This principle, also known as Frege's principle, says that the semantic value of a (complex) expression is a function of the semantic values of the syntactic (and categorematic) parts it is ' R. M. Martin, "On the Semantics of Hobbes," Philosophyand PhenomenologicalResearch 14 095314): 2o5-11, esp. ~o7, 211. Cf. I. C. Hungerland and G. R. Vick, "Hobbes's Theory of Language, Speech and Reasoning," in ThomasHobbes:Computatwsire Logica--Logic, translated and commentary by A. Martinich, ed. and introduced by I. C. Hungerland and G. R. Vick (New York: 1981), 15--167, esp. 17, 121-22. 9 H. T6rnebohm, "A Study in Hobbes' Theory of Denotation and Truth," Theor~a26 (196o): 53-7o; see p. 66. 3 A. Tarski, "The Semantic Conception of Truth and the Foundations of Semantics," Philosophy and PhenomenologicalResearch4 (1944): 341-375; see p. 342. [63] 64 JOURNAL OF THE HISTORY OF PHILOSOPHY 28:1 JANUARY 199o composed of. Moreover, in the case of linguistic expressions which are (deciarative ) sentences this semantic value should be its truth-value. 4 As we shall see, Hobbes's theory of propositions is basically a theory of subject-predicate propositions. It is therefore reasonable to qualify his theory of truth as a semantic one only if it satisfies Frege's principle to a certain extent. Ideally, this means that the truth-value of subject-predicate propositions should be conceived as a function of the semantic interpretations of its subject and predicate. In the next three sections I will concentrate principally on the logicosyntactical aspects of language. I will then discuss successively the general structure of propositions, the various sorts of names, and the syntax of Hobbes's theory of propositions. Section 5 is devoted to Hobbes's theory of truth as interpreted by Martin and T0rnebohm. The outcome of this examination makes it necessary to break away from Martin's restricted conception of semantics. Martin, like Tarski, takes semantics as "semantics in the narrower sense," i.e., as the discipline Quine refers to as the theory of reference. 5 However, sometimes this term is used in a broader sense; the field of semantics is taken then to include the theory of meaning too. Although the wording differs frequently, the distinction between meaning and reference is almost a constant in the history of thinking about language. On the side of meaning one finds terms like connotation, intension, conception, signification and analyticity, while terms like naming, denoting, extension (and sometimes again signification) are ]inked to the notion of reference. In the Computatio sive Logica, the first part of De Corpore, containing Hobbes's most mature work on the philosophy of language, this opposition is displayed by way of a distinction between, on the one side, nominare, denotare and appellare and, on the other side, significare. Hobbes's view of the significative, as opposed to the denotative, role of linguistic expressions is treated in sections 6, 7, and 8. There it will be shown that Hobbes's radical nominalism is decisive for his doctrine of signification; moreover, this nominalism raises serious problems for the relation... (shrink)